jordanspooner / haskell-tests
My past paper solutions for the Haskell final test at Imperial College London
☆7Updated 7 years ago
Alternatives and similar repositories for haskell-tests:
Users that are interested in haskell-tests are comparing it to the libraries listed below
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated 2 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- ☆9Updated 3 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- run and encode simple register machine programs☆14Updated 3 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆75Updated last year
- ☆9Updated 5 years ago
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆18Updated 2 months ago
- A systems theorem prover☆10Updated 9 months ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆11Updated 6 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- Haskell bindings for MLIR☆106Updated last month
- bollu learns implementation of dependent typing☆28Updated 2 years ago
- Functional Programming in Lean☆77Updated 10 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 11 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 5 months ago
- The theory of groups☆76Updated last year
- White-box automation for Lean 4☆249Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆168Updated 2 months ago
- ☆90Updated 3 years ago
- LaTeX code for a paper on lean's type theory☆132Updated 2 years ago
- Church encodings written in Haskell☆25Updated 5 years ago
- The agda-unimath library☆246Updated this week
- EPIT 2020 - Spring School on Homotopy Type Theory☆104Updated 3 years ago
- Natural Number Game☆153Updated 2 weeks ago
- Logic and Mechanized Reasoning☆101Updated last month
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Building group theory from scratch in Lean☆59Updated 4 years ago