/2024.2-fun-student

template for students of the Functional Programming course, 2024.2, UFRN

MIT LicenseMIT

Functional Programming 2024.2, UFRN

Student template repo. (Students should replace this text.)

Structure

  • agda/: Agda files/projects
  • haskell/: Haskell files/projects
  • lean/: Lean files/projects
  • notes/: Student notes

Links