conal/felix

This is stars and forks stats for /conal/felix repository. As of 03 May, 2024 this repository has 35 stars and 3 forks.

Felix: an Agda category theory for denotational design Introduction This library replaces the overgrown denotational-hardware library, which had mixed general category theory with some functionality for hardware design. Dependencies Agda compiler. Known to work with Agda 2.6.2 The Agda standard library (agda-stdlib). Known to work with version 1.7. Haskell ieee754 package (as described under Troubleshooting below) Summary of important modules Troubleshooting You might see an error message like this: Calling:...