hhefesto

module Telomare.Cesar where

import Data.Char (ord, chr, isLetter, isLower)
import Text.Read (Lexeme(Char))

input = unlines $ [ "11"
                  , "middle-Outz"
                  , "2"
                  ]

hhefesto

╭─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

hhefesto

# 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

hhefesto

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

hhefesto

{
  "nodes": {
    "fenix": {
      "inputs": {
        "nixpkgs": [
          "solanaNix",
          "nixpkgs"
        ],
        "rust-analyzer-src": "rust-analyzer-src"
      },

hhefesto

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 ]; }

hhefesto

;;; $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")

hhefesto

{ rev1 ? "78d05675a4186c3b7b2de214f3c3b245ba0d2fa5",
  # rev ? "1a92d0abfcdbafc5c6e2fdc24abf2cc5e011ad5a",
  outputSha256 ? "0aam50m1w1kqfdhwnazzi6jdq422d3ib3ilvb1m5lcr5jn7nhf1f",
  # enableLLVMAssertions ? true
  enableLLVMAssertions ? false
}:

with rec {
  nixpkgs = (import <nixpkgs> { }).fetchFromGitHub {
    # a = true;

hhefesto

{
  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" ];

hhefesto

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 !!!!!!!!!!!!!!!!