Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / advancedresearch/last_order_logic issues and pull requests

#93 - Add enumeration over exponentials

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#92 - Add `f^n` notation

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#91 - Add natural numbers

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#90 - Add cumulative type hierarchy

Issue - State: open - Opened by bvssvni over 2 years ago - 1 comment
Labels: discussion, draft

#89 - Use un-blocking parsing rule for binary operators

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion, draft

#88 - Add parsing benchmarks

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion, draft

#87 - Add support for packed loops

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion, draft

#86 - Add accessor functions on path indexing

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion, draft

#85 - Publish 0.2.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#84 - Added "help app"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#83 - Add secrets to `nu(...)`

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion, draft

#82 - Added "help lambda"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#81 - Added "help type"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#80 - Fixed error in "help any"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#79 - Added "help lift"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#78 - Added "help bool"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#77 - Added "help any"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#76 - Added `nu(0)` example

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#75 - Added "help all"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#74 - Added section about how to learn LOL

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#73 - Added "help path"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#72 - Added section about file formats

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#71 - Added instructions to README of how to install LOLZ

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#70 - Added link to example

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#69 - Added Markdown support

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#68 - Added theorem

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#67 - Improved "source/geom.lol.txt"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#66 - Added support for multi-line comments

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#65 - Support for multi-line comments

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: easy

#64 - Support markdown format

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: hard

#63 - Added support for comments

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#62 - Added "reload"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#61 - Add reload

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: medium

#60 - Added support for clearing definitions

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#59 - Added "red" to "help"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#58 - Added import of definitions from file

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#57 - Parse lines of data

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#56 - Added `flip_inv_triangle`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#55 - Proving identity of triangles rotated 3 times

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion

#54 - Added "source/geom.lol.txt"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#53 - Renamed REPL to "lolz"

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#52 - Improve parsing speed of nested application

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#51 - Do not allow `\` before application

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#50 - Allow `¬=` in syntax

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#49 - Drop requiring dependence on lambda argument

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#48 - Add support for clearing definitions

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: easy

#47 - Add import of definitions from file

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: hard

#46 - Fixed a bug in syntax

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#45 - Substitute in argument type

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#44 - Added `runtime::reduce`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#43 - Fixed bug in evaluation

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#42 - Break down endpoints under application

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#41 - Fixed a bug

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#40 - Fixed parsing of `!f(0)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#39 - Allow application in left expression

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#38 - Made it possible to declare functions

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#37 - Added `type(...)` expression

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#36 - Compressed some code

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#35 - Removed comments

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#34 - Handle all cases

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#33 - Set type of `I` to none

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#32 - Type of application

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#31 - Evaluate application

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#30 - Fixed parens of application

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#29 - Eval `xor(I, I)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#28 - Eval `eq(I, I)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#27 - Eval `imply(I, I)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#26 - Eval `or(I, I)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#25 - Eval `and(I, I)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#24 - Evaluate `not(I)`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#23 - Make it possible to declare functions in REPL

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: hard

#22 - Add `type(...)` expression

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: medium

#21 - Add function types

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion, draft

#20 - Paths vs functions

Issue - State: open - Opened by bvssvni about 3 years ago
Labels: discussion

#19 - Type of paths

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#17 - Moved some stuff to left expressions

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#16 - Added test case

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#15 - Simplified `is_false` and `is_true`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#14 - Print separator

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#13 - Print out separator in REPL on empty input

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: easy

#12 - Added missing type

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#11 - Enforce types of arguments in syntax

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#10 - Add error check when type of arguments are missing

Issue - State: closed - Opened by bvssvni about 3 years ago - 1 comment
Labels: easy

#9 - Added `help`

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#8 - Added type of type judgements

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#7 - Added REPL

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#6 - Added parser

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#5 - Added Apache license

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#4 - Publish 0.1.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#3 - Fixed wording

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#2 - Added docs

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#1 - First commit

Pull Request - State: closed - Opened by bvssvni about 3 years ago