University programmes you might be interested in if you like Idris - idris-lang/Idris2 GitHub Wiki

If you like Idris and are looking for a university programme to join, we have compiled a list of courses, modules and syllabuses from various universities that you might be interested in joining.

Cambridge

Y1:

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/ taught in OCaml
https://www.cl.cam.ac.uk/teaching/2526/DiscMath/ teaches inductive definitions and relations

Y2:

https://www.cl.cam.ac.uk/teaching/2526/Semantics/ mandatory course for all students!
https://www.cl.cam.ac.uk/teaching/2526/Prolog/
https://www.cl.cam.ac.uk/teaching/2526/LogicProof/
https://www.cl.cam.ac.uk/teaching/2526/CompConstr/

Y3:

https://www.cl.cam.ac.uk/teaching/2526/DenotSem/ denotational semantics
https://www.cl.cam.ac.uk/teaching/2526/MSP/ multicore and concurrent programming
https://www.cl.cam.ac.uk/teaching/2526/CAT/ category theory
https://www.cl.cam.ac.uk/teaching/2526/Types/ types
https://www.cl.cam.ac.uk/teaching/2526/ATFP/ Algebraic techniques for programming
https://www.cl.cam.ac.uk/teaching/2526/OptComp/ optimising compilers
https://www.cl.cam.ac.uk/teaching/2526/HLog+ModC/ Hoare logic and model checking

Masters level (topics vary more often):

https://www.cl.cam.ac.uk/teaching/2526/R277/ Advanced topics in programming languages
https://www.cl.cam.ac.uk/teaching/2526/L308/ Category theory (for students who didn't take the UG Y3 course)
https://www.cl.cam.ac.uk/teaching/2526/L313/ Homotopy Type Theory and Univalent Foundations
https://www.cl.cam.ac.uk/teaching/2526/L118/ Advanced Topics in Category Theory
https://www.cl.cam.ac.uk/teaching/2526/L81/ Proof assistants

Strathclyde

CS106 Syrup
CS208 Logic & Algorithms
CS316 Functional Programming (haskell)
CS410 Advanced functional programming (Agda)
CS886 Advanced Security-by-Design (Idris & Dafny)

Only personal lecturer's links because the strathclyde course page is not public

EPFL

MPRI

Edinburgh