-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Basic tests on Option<'t>
good first issueGood for newcomersGood for newcomerslang-feInput language related taskInput language related taskStatus: Open.#46 In Lamagraph/interaction-nets-in-fpga;Basic test for QTree
lang-feInput language related taskInput language related taskStatus: Open.#45 In Lamagraph/interaction-nets-in-fpga;- Status: Open.#41 In Lamagraph/interaction-nets-in-fpga;
Add support for Algrabraic Data Types to the typechecker
softwareSoftware-related taskSoftware-related taskStatus: Open.#34 In Lamagraph/interaction-nets-in-fpga;Support units of measure in the language
lang-feInput language related taskInput language related tasksoftwareSoftware-related taskSoftware-related taskStatus: Open.#29 In Lamagraph/interaction-nets-in-fpga;Publish haddoc to GitHub Pages
enhancementNew feature or requestNew feature or requestinfraInfrastructure-related taskInfrastructure-related taskStatus: Open.#26 In Lamagraph/interaction-nets-in-fpga;Check if fixity is unknown in CI
bugSomething isn't workingSomething isn't workinginfraInfrastructure-related taskInfrastructure-related taskStatus: Open.#24 In Lamagraph/interaction-nets-in-fpga;Linear algebra library
softwareSoftware-related taskSoftware-related taskStatus: Open.Matrix-specific optimizations
softwareSoftware-related taskSoftware-related taskStatus: Open.Tests using lamda calculus interpreter and processor
hardwareHardware-related taskHardware-related taski-netsInteraction nets related taskInteraction nets related tasksoftwareSoftware-related taskSoftware-related taskStatus: Open.Lambda calculus to interaction nets translator
i-netsInteraction nets related taskInteraction nets related tasksoftwareSoftware-related taskSoftware-related taskStatus: Open.(Subset of) Input langugae to (enriched) lambda calculus translator
lang-feInput language related taskInput language related tasksoftwareSoftware-related taskSoftware-related taskStatus: Open.