This file contains hidden or 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
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
| <title>task_kata_colon_q - Agent Session</title> | |
| <style> | |
| :root { | |
| --bg-primary: #f7f7fa; | |
| --bg-surface: #ffffff; |
This file contains hidden or 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
| Privacy Policy | |
| Download PDF | |
| Download PDF | |
| Information You Share With Us | |
| Additional Information We Receive About You | |
| Information We Share and Disclose | |
| Managing Your Personal Information With Us | |
| Children and Our Services |
This file contains hidden or 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
| NETSCAPE 6 END-USER LICENSE AGREEMENT | |
| Redistribution Or Rental Not Permitted | |
| These terms apply to Netscape 6. | |
| BY CLICKING THE ACCEPTANCE BUTTON FOR THE NETSCAPE 6 SOFTWARE | |
| (THE "PRODUCT"), YOU ARE CONSENTING TO BE BOUND BY AND BECOME | |
| A PARTY TO THIS AGREEMENT AS THE "LICENSEE." | |
| IF YOU DO NOT AGREE TO ALL OF THE TERMS OF THIS AGREEMENT, |
This file contains hidden or 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
| Deepnote | |
| Our story | |
| Join the team | |
| Documentation | |
| Privacy Policy | |
| Effective date: January 1, 2019 |
This file contains hidden or 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
| -- In Idris, fGetLine returns a string with a trailing newline. Here are | |
| -- various ways of getting rid of it. I'm hoping I missed something more | |
| -- straighforward. In all of the functions below, I'm assuming there is | |
| -- exactly one '\n' character and that it occurs at the end of the string. | |
| module Main | |
| dropNewline0 : (x : String) -> String | |
| dropNewline0 x = | |
| fst $ break (== '\n') x |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains hidden or 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
| # A template to demonstrate why we need to profile | |
| # This instance written by Paul Ivanov (XXX: put your name / github id here) | |
| def where_is_the_bottleneck(x): | |
| pass | |
| def could_be_this_one(x, y): | |
| pass | |
| def or_this_one(x): |
NewerOlder