Here is the full list of all 8 functional achievements.
Complete all levels for section "boolean"
Complete all levels for section "basic"
Complete all levels for section "pair and list"
Complete all levels for section "recursion"
Complete all levels for section "numerals"
Complete all levels for section "more numerals"
Download and complete a user created level from Steam Workshop
Create a level and upload it to Steam Workshop