mroman42/mikrokosmos issues and pull requests

#58 - cabal install not working

Issue - State: open - Opened by beh333 over 2 years ago - 3 comments

#57 - Bump Hackage version

Issue - State: open - Opened by Jake-Moss about 3 years ago

#56 - Fixed bug with batch execution of a script

Pull Request - State: closed - Opened by SSKumk over 3 years ago - 1 comment

#55 - Add call by value and call by name evaluation strategies

Pull Request - State: closed - Opened by rjraya almost 4 years ago - 3 comments

#54 - Add the semigroup instance for Block

Issue - State: closed - Opened by mroman42 almost 4 years ago - 1 comment

#53 - Fix for GHC 8.4+

Pull Request - State: closed - Opened by ncihnegn about 4 years ago - 1 comment

#52 - Enhancement: support for call-by-value and step by step reduction

Issue - State: closed - Opened by rjraya over 4 years ago - 2 comments

#51 - Fixes citations

Pull Request - State: closed - Opened by mroman42 almost 6 years ago

#50 - How to to install from the Github repository

Pull Request - State: closed - Opened by mroman42 almost 6 years ago

#49 - [Windows only] Unicode characters not correctly displayed on the Jupyter kernel output

Issue - State: open - Opened by mroman42 almost 6 years ago - 1 comment
Labels: bug

#48 - Adds statement showing where to seek support

Pull Request - State: closed - Opened by mroman42 almost 6 years ago

#47 - Need for a prominent statement showing where users should seek support.

Issue - State: closed - Opened by MattForshaw almost 6 years ago - 2 comments

#46 - Makes it clear that the Jupyter kernel does not work on Windows

Pull Request - State: closed - Opened by mroman42 almost 6 years ago

#45 - Jupyter Notebook kernel not working on Windows

Issue - State: closed - Opened by aj2duncan almost 6 years ago - 5 comments

#44 - minor changes

Pull Request - State: closed - Opened by pedritomelenas almost 6 years ago

#43 - Development: rewrites readme and references

Pull Request - State: closed - Opened by mroman42 almost 6 years ago

#42 - Describe function

Issue - State: closed - Opened by mroman42 almost 6 years ago

#41 - Development

Pull Request - State: closed - Opened by mroman42 about 6 years ago

#40 - Development

Pull Request - State: closed - Opened by mroman42 about 6 years ago

#39 - Can't seem to get the interpreter to work

Issue - State: closed - Opened by JJ over 6 years ago - 3 comments

#38 - JS interpreter error

Issue - State: closed - Opened by JJ over 6 years ago - 5 comments

#37 - Development

Pull Request - State: closed - Opened by mroman42 over 6 years ago

#36 - Tutorial

Pull Request - State: closed - Opened by mroman42 almost 7 years ago

#35 - Development

Pull Request - State: closed - Opened by mroman42 almost 7 years ago

#34 - Gentzen

Pull Request - State: closed - Opened by mroman42 almost 7 years ago

#33 - Development2

Pull Request - State: closed - Opened by mroman42 almost 7 years ago

#32 - Add a global path for mikrokosmos libraries

Issue - State: closed - Opened by mroman42 almost 7 years ago

#31 - Error message if a non-existent library is loaded

Issue - State: closed - Opened by mroman42 almost 7 years ago

#30 - Reduction error

Issue - State: closed - Opened by mroman42 almost 7 years ago
Labels: bug

#29 - Development

Pull Request - State: closed - Opened by mroman42 almost 7 years ago

#28 - Simply-typed lambda calculus

Pull Request - State: closed - Opened by mroman42 almost 7 years ago

#27 - Empty lines on the multiple-line Jupyter interpreter

Issue - State: closed - Opened by mroman42 almost 7 years ago - 1 comment
Labels: bug

#26 - :restart

Issue - State: closed - Opened by mroman42 almost 7 years ago

#25 - SKI option

Issue - State: closed - Opened by mroman42 almost 7 years ago

#24 - Reduce parentheses in SKI output

Issue - State: closed - Opened by mroman42 almost 7 years ago - 1 comment

#23 - Relax the parsing rules for spaces

Issue - State: closed - Opened by mroman42 almost 7 years ago - 1 comment
Labels: bug

#22 - Update documentation

Issue - State: closed - Opened by mroman42 almost 7 years ago - 2 comments

#21 - Emacs mode for mikrokosmos

Issue - State: closed - Opened by mroman42 almost 7 years ago - 1 comment
Labels: enhancement

#20 - Multiline notation on modules

Issue - State: closed - Opened by mroman42 almost 7 years ago

#19 - Write library-dependent tests

Issue - State: closed - Opened by mroman42 about 7 years ago - 1 comment

#18 - Format options

Issue - State: closed - Opened by mroman42 about 7 years ago - 1 comment
Labels: enhancement

#17 - Multiline notation

Issue - State: closed - Opened by mroman42 about 7 years ago - 1 comment
Labels: enhancement

#16 - Other type systems

Issue - State: closed - Opened by mroman42 about 7 years ago - 2 comments
Labels: enhancement

#15 - Abstraction of SKI combinators

Issue - State: closed - Opened by mroman42 about 7 years ago - 3 comments

#14 - add module system

Pull Request - State: closed - Opened by mroman42 about 7 years ago

#13 - Avoid double definitions

Issue - State: closed - Opened by mroman42 about 7 years ago

#12 - simplify interpreter line

Pull Request - State: closed - Opened by mroman42 about 7 years ago

#11 - Environment module

Pull Request - State: closed - Opened by mroman42 about 7 years ago

#10 - Images for the readme

Issue - State: closed - Opened by mroman42 almost 8 years ago - 13 comments

#9 - Lazy evaluation and the fixpoint operator

Issue - State: closed - Opened by mroman42 almost 8 years ago - 3 comments