Mark

0 Followers · 0 Following

• https://betalupi.com
• Joined on 2021-04-09

Repositories

25

Projects Packages Public Activity Starred Repositories

6

Loading Heatmap…

Mark pushed to master at Mark/lamb

• a7078f9a77 Added mdel command

2022-10-22 07:48:30 -07:00

Mark pushed to master at Mark/lamb

• 8da3282edf updated README

2022-10-21 21:08:08 -07:00

Mark pushed to master at Mark/lamb

• e1b79cd59a Cleanup & build files

2022-10-21 21:01:19 -07:00

Mark pushed to master at Mark/lamb

• 8558c484c5 Fixed parser, added macro printout
• ee744b5245 Type fixes
• b5d97cf5c6 Added Church numeral generation
• Compare 3 commits »

2022-10-21 19:55:27 -07:00

Mark pushed to master at Mark/lamb

• 7a1077e371 Added error handling

2022-10-21 19:24:59 -07:00

Mark pushed to master at Mark/lamb

• ef19fc42a6 Added support for curry shorthand

2022-10-21 19:13:19 -07:00

Mark pushed to master at Mark/lamb

• 3ff496e1d6 Added a few commands
• 84c5229fbf Updated README
• a4af47435a Improved macro reduction
• 01632f6ec3 Updated README
• 696ede7a9c Added runstatus and prettified prompt
• Compare 5 commits »

2022-10-21 17:55:39 -07:00

Mark pushed to master at Mark/lamb

• 92e741549f Removed image from README

2022-10-21 15:10:43 -07:00

Mark pushed to master at Mark/lamb

• 6a818b42fe Image size

2022-10-21 15:09:16 -07:00

Mark pushed to master at Mark/lamb

• bcd7a9d888 Added README and icon

2022-10-21 15:07:45 -07:00

Mark pushed to master at Mark/lamb

• 1a4ed032c2 Added basic command handling
• f8ff0a0c3e Changed parsing syntax
• 5f4f3db48f Improved reduction process
• c671fc6f9a Added runner
• 9ed159dee9 Cleaned up greeting, add simple prompt, moved runner
• Compare 5 commits »

2022-10-21 14:45:05 -07:00

Mark pushed to master at Mark/lamb

• 94f8963436 Added messy greeting

2022-10-20 14:07:31 -07:00

Mark created branch master in Mark/lamb

2022-10-20 11:04:02 -07:00

Mark pushed to master at Mark/lamb

• 99217297d2 Added basic lambda parser
• d42b772092 Added metafiles

2022-10-20 11:04:02 -07:00

Mark created repository Mark/lamb

2022-10-20 11:03:47 -07:00

Mark pushed to master at Mark/docker

• 7e202aae3a Fixed a few errors

2022-10-13 12:45:40 -07:00

Mark pushed to master at Mark/docker

• eb22f37654 Whitespace and gitignore
• 9ea5fe3b5f Added radicale container
• Compare 2 commits »

2022-10-13 07:59:16 -07:00

Mark pushed to master at Mark/docker

• 8c323dd0d1 Moved files
• 67b30b37cb Added manim module
• Compare 2 commits »

2022-10-09 21:03:02 -07:00

Mark transferred repository dotfiles/vim to Mark/vim

2022-10-07 22:08:02 -07:00

Mark opened issue Mark/awesomewm#15

Rofi dynamic config

2022-10-07 22:00:49 -07:00