This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Telomare.Cesar where | |
import Data.Char (ord, chr, isLetter, isLower) | |
import Text.Read (Lexeme(Char)) | |
input = unlines $ [ "11" | |
, "middle-Outz" | |
, "2" | |
] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
╭─hhefesto@olimpo ~/src/telomare ‹master●› | |
╰─$ haskell-language-server --debug src/Telomare.hs ghc-shell-for-telomare-0.1.0.0 | |
2022-05-23T15:03:34.362602Z | Info | No log file specified; using stderr. | |
2022-05-23T15:03:34.362939Z | Info | haskell-language-server version: 1.7.0.0 (GHC: 9.2.2) (PATH: /nix/store/6svi1lnknjygjl6qsfckxvv4iizi0rn0-haskell-language-server-1.7.0.0/bin/haskell-language-server) | |
2022-05-23T15:03:34.363348Z | Info | Directory: /home/hhefesto/src/telomare | |
2022-05-23T15:03:34.363506Z | Info | Logging heap statistics every 60.00s | |
ghcide setup tester in /home/hhefesto/src/telomare. | |
Report bugs at https://github.com/haskell/haskell-language-server/issues | |
Step 1/4: Finding files to test in /home/hhefesto/src/telomare |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Edit this configuration file to define what should be installed on | |
# your system. Help is available in the configuration.nix(5) man page | |
# and in the NixOS manual (accessible by running ‘nixos-help’). | |
{ config, pkgs, ... }: | |
{ | |
imports = | |
[ # Include the results of the hardware scan. | |
./hardware-configuration.nix |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/Prelude.tel b/Prelude.tel | |
index 555aa9f..8908c75 100644 | |
--- a/Prelude.tel | |
+++ b/Prelude.tel | |
@@ -89,3 +89,6 @@ quicksort = let layer = \recur l -> if right l | |
in listPlus (recur p2) (t,(recur p1)) | |
else l | |
in ? layer (\l -> 0) | |
+ | |
+abort = \str -> let x : (\y -> listPlus "abort: " str) = 1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"nodes": { | |
"fenix": { | |
"inputs": { | |
"nixpkgs": [ | |
"solanaNix", | |
"nixpkgs" | |
], | |
"rust-analyzer-src": "rust-analyzer-src" | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let | |
gcOverlay = self: super: { | |
# jumper = telomare_jumper; | |
gc = self.boehmgc; | |
}; | |
in | |
{ # Fetch the latest haskell.nix and import its default.nix | |
# haskellNix ? import (builtins.fetchTarball "https://github.com/input-output-hk/haskell.nix/archive/dc7acfeb7628032d5109747a8b330d58817b953f.tar.gz") {} | |
haskellNix ? import (builtins.fetchTarball "https://github.com/input-output-hk/haskell.nix/archive/master.tar.gz") { overlays = [ gcOverlay ]; } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; $DOOMDIR/config.el -*- lexical-binding: t; -*- | |
;; Place your private configuration here! Remember, you do not need to run 'doom | |
;; sync' after modifying this file! | |
;; Some functionality uses this to identify you, e.g. GPG configuration, email | |
;; clients, file templates and snippets. | |
(setq user-full-name "Daniel Herrera Rendón") | |
(setq user-mail-address "daniel.herrera.rendon@gmail.com") |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ rev1 ? "78d05675a4186c3b7b2de214f3c3b245ba0d2fa5", | |
# rev ? "1a92d0abfcdbafc5c6e2fdc24abf2cc5e011ad5a", | |
outputSha256 ? "0aam50m1w1kqfdhwnazzi6jdq422d3ib3ilvb1m5lcr5jn7nhf1f", | |
# enableLLVMAssertions ? true | |
enableLLVMAssertions ? false | |
}: | |
with rec { | |
nixpkgs = (import <nixpkgs> { }).fetchFromGitHub { | |
# a = true; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
laurus = {pkgs, ...}:{ | |
networking.firewall.allowedTCPPorts = [ 22 80 5432 587 443 ]; | |
nixpkgs.config = import ~/src/laurus-nobilis/config.nix; | |
systemd.services.laurus-nobilis = | |
{ description = "laurus-nobilis"; | |
enable = true; | |
wantedBy = [ "multi-user.target" "nginx.service" ]; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Main> pureREval (check zero (completeLam (varN 0))) | |
SetEnv !!!!!!!!!!!!!!!!:(Pair (Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)))) (Pair (Pair (Defer (PLeft Env)) Zero) Zero),Right (Pair (Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)))) (Pair (Pair (Defer (PLeft Env)) Zero) Zero))) | |
SetEnv !!!!!!!!!!!!!!!!:(Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env)),Right (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair Zero Zero))) | |
SetEnv !!!!!!!!!!!!!!!!:(SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))),Right (Pair Zero (Pair Zero Zero))) | |
SetEnv !!!!!!!!!!!!!!!! |
NewerOlder